#include "inc/hw_types.h"
#include "inc/hw_ints.h"
#include "inc/hw_memmap.h"
#include "driverlib/interrupt.h"
#include "driverlib/gpio.h"
#include "driverlib/rom.h"
#include "driverlib/rom_map.h"
#include "driverlib/sysctl.h"
#include "driverlib/timer.h"
#include "driverlib/pwm.h"

int _frequency = 0;
int _period = 0;
int _duty = 0;
int _onOff = 0;

extern void initPWM(int freq);
extern void pwmHandler(void);
extern void pwmSetDuty(int duty_cycle);


